Skip to main content

Microsoft Research Video

More than 1,100 brilliant scientists and engineers push the boundaries of computing in multiple research areas and include contributions to Kinect for Xbox 360, work to develop an HIV vaccine, and advancing education techniques in rural communities.

PART OF
Computers & Technology
More right-solid
More right-solid
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
SHOW DETAILS
up-solid down-solid
eye
Title
Date Archived
Creator
Please join us for lunch at Microsoft this Giving Campaign! Hear about how our award-winning zoo saves wildlife and their habitats in the Northwest and around the world; while educating and inspiring our visitors to take conservation action. We'll also provide program/exhibit updates including the latest on the 188,000 acres our conservation partner the Tree Kangaroo Conservation Program recently protected in Papua New Guinea! And provide a little preview of our upcoming Meerkat Exhibit in...
Topics: Microsoft Research, Microsoft Research Video Archive, Kevin Schofield, Paul Balle, Lisa Dabek,...
Digital technology is ubiquitous; we click through licensing agreements without reading them, post music files, and add phone applications. Are these uses legal? Moral? Most people aren’t sure, and that is because social, political and economic systems—like the law—change slowly, but technology changes in the blink of an eye. Users are left in the gap between the speed of innovation and the sluggishness of social change. Let’s look at that gap, and examine the business and social...
Topics: Microsoft Research, Microsoft Research Video Archive, Kevin Schofield, Larry Downes
Can you write code without an Internet connection? The ready availability of online tutorials, forums, and source code examples has fundamentally changed programming practices. Understanding and supporting these emerging practices is vital to building the next generation of development environments. This talk first presents our empirical work investigating how programmers use the Web. We studied 20 individuals in the lab and over 24,000 individuals through search log analysis. We found that Web...
Topics: Microsoft Research, Microsoft Research Video Archive, Gina Venolia, Joel Brandt
Announcing the nineteenth Symposium in Computational Linguistics sponsored by the UW Departments of Linguistics, Electrical Engineering, and Computer Science, Microsoft Research, and UW alumni at Microsoft. Come take advantage of this opportunity to connect with the computational linguistics community at Microsoft and the University of Washington. This is a regular opportunity for computational linguists at the University of Washington and at Microsoft to discuss topics in the field and to...
Topics: Microsoft Research, Microsoft Research Video Archive, Michael Gamon, Colin Cherry, Chris Brockett,...
Microsoft Research Video
movies
eye 76
favorite 0
comment 0
We consider what constitutes identities in cryptography. Typical examples include your name and your social-security number, or your fingerprint/iris-scan, or your address, or your (non-revoked) public-key coming from some trusted public-key infrastructure. In many situations, however, where you are defines your identity. For example, we know the role of a bank-teller behind a bullet-proof bank window not because she shows us her credentials but by merely knowing her location. In this paper, we...
Topics: Microsoft Research, Microsoft Research Video Archive, Seny Kamara, Nishanth Chandran
Microsoft Research Video
movies
eye 26
favorite 0
comment 0
I will show two interactive prototypes: a double-precision touch device and a tangible-on-tabletop construction kit. Examining Touch on the Fingerprint Level Doubles the Precision of Touch Input I present a novel type of touch input device based on a fingerprint scanner. During each touch, it obtains not only the finger’s contact area, but also the user’s fingerprint. It uses the relative position of the fingerprint inside the contact area to reconstruct finger posture and uses that to...
Topics: Microsoft Research, Microsoft Research Video Archive, Ken Hinckley, Patrick Baudisch
Market-based electronic systems are becoming increasingly pervasive. When we design new markets, we often use economic theory to guide our design decisions. However, existing economics research has neglected the importance of the user interfaces via which individuals interact with markets. Different user interfaces induce different (psychological) user models which in turn determine how users understand and interact with a market. In networked systems, small changes to the UI can have huge...
Topics: Microsoft Research, Microsoft Research Video Archive, Mary Czerwinski and Kamal Jain, Sven Seuken
Diagrams are a useful way to efficiently convey abstract information. Layout is an important aspect of diagram creation, impacting heavily on readability. Good diagram layout is difficult because it encompasses both a user's aesthetic preferences as well as drawing conventions for particular styles of diagrams. Existing diagram authoring software provides some layout tools, but these usually perform a once-off change. As such, the author of the diagram handles the majority of diagram layout...
Topics: Microsoft Research, Microsoft Research Video Archive, Lev Nachmanson, Michael Wybrow
There is a fine line between theft and originality: the trick is the source of the borrowing. Borrow from your direct competitors and you are a thief, but cast a wider net and borrow beyond your field and you are considered creative. In fact that is “the creative paradox”: that copying and building on the insights of others is actually the source of creativity. Ideas, in fact, are free, and it wasn’t until the free market put a price on creative ideas that people started to claim...
Topics: Microsoft Research, Microsoft Research Video Archive, Kevin Schofield, David Kord Murray
I'll talk about two projects I worked on this summer at MSR. The first project was to find local dynamics that lead to balanced outcomes in exchange networks, an equilibrium concept that combines notions of stability and fairness. I'll present a distributed algorithm that computes a balanced outcome on bipartite graphs that builds on the auction algorithm for the assignment problem. The second project was to find local dynamics that lead to equilibrium in the Linear Fisher Market. I'll describe...
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Ben Birnbaum
Microsoft Research Video
movies
eye 37
favorite 0
comment 0
Control theory has had a productive but limited relationship with computing theory and systems. Since its modern beginnings in the work of Wiener, control theory has expanded its application domains and its theoretical foundations, but its impact on modern computing systems remains largely unfulfilled. In recent years however, problems at the interface between control theory and computer science have become more common and are increasingly attracting the interest of researchers in both fields....
Topics: Microsoft Research, Microsoft Research Video Archive, Ripal Nathuji, Chaouki T. Abdallah
Microsoft Research Video
by Microsoft Research
movies
eye 19
favorite 0
comment 0
In this talk I illustrate a decade of my visualization-centric software engineering research. I will focus on lightweight 2D and immersive 3D software visualization for program comprehension and software evolution analysis, but I will also touch other areas I am interested in, such as mining software archives, software ecosystems, software defects, and collaborative software engineering. ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Tom Zimmermann, Michele Lanza
Microsoft Research Video
movies
eye 51
favorite 0
comment 0
We model situations in which a principal provides incentives to a groupof agents to participate in a project (such as a social event, commercialactivity or the adoption of a certain technological standartization).Agents' benefits from participation depend on the identity of otherparticipating agents. We assume bilateral externalities and characterize theoptimal incentive mechanism. Using a graph-theoretic approach we show thatthe optimal mechanism provides a ranking of incentives for the...
Topics: Microsoft Research, Microsoft Research Video Archive, Yuval Peres, Eyal Winter
Giving and interpreting directions is almost a daily activity, and as such, is a necessary system component of household robots or autonomous wheelchairs. In particular, we would like to be able to parse naturally given human verbal directions, and compute the likely corresponding sequence of physical regions. We cast this as an inference problem and use a modification of Hidden Markov Models to compute the most likely physical paths corresponding to a single set of directions. We evaluated...
Topics: Microsoft Research, Microsoft Research Video Archive, Jaime Teevan, Emma Brunskill
In peer-to-peer file sharing systems, file replication and consistency maintenance are widely used techniques for high system performance. Despite significant interdependencies between them, these two issues are typically addressed separately. Most file replication methods rigidly specify replica nodes, leading to low replica utilization, unnecessary replicas and hence extra consistency maintenance overhead. Most consistency maintenance methods propagate update messages based on message...
Topics: Microsoft Research, Microsoft Research Video Archive, Jin Li, Haiying (Helen) Shen
Microsoft Research Video
movies
eye 27
favorite 0
comment 0
This talk presents how quantified loop invariants of programs over arrays can be automatically inferred using a first order theorem prover, reducing the burden of annotating loops with complete invariants. Our approach allows one to generate first-order invariants containing alternations of quantifiers. For doing so, we deploy symbolic computation methods to generate numeric invariants of the scalar loop variables, based on the software package Aligator, and then use update predicates of the...
Topics: Microsoft Research, Microsoft Research Video Archive, Nikolaj Bjorner, Laura Kovacs
A piece of software is considered interactive if it consumes input and produces output throughout its execution, in contrast to non-interactive software which takes its input at program initialization and produces its output at program termination. Interactive software includes network servers, user interface applications, and computer games, and makes up the majority of user-facing software. The most common approach to implementing interactive components within modern languages is an...
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Brian Chin
Today, federal public policy forces personal privacy through public mandate over a person's capacity and right to choose a unique personal health identifier to better protect both privacy and personal safety within health care environments as well as an individual's altruistic interest in contributing personal health data including genetic information for biomedical and health research. The presentation will review past and current policies with respect to protection of personal health...
Topics: Microsoft Research, Microsoft Research Video Archive, Eric Horvitz, Don Detmer
Context-free languages combine expressiveness with polynomial parsing, making them very appealing for practical applications. In fact, they are possibly the most widely used class of languages in Computer Science. Thus, models of computation which slightly extend context-free models, without losing parsing efficiency, seem to have great potential for applications in fields such as Programming Languages, Formal Verification, Computational Linguistics, and Computational Biology, and are therefore...
Topics: Microsoft Research, Microsoft Research Video Archive, Yuri Gurevich, Tamar Aizikowitz
Microsoft Research Video
movies
eye 33
favorite 0
comment 0
Polyakov first understood in 1981 that the summation over random Riemannian metrics involved in transition amplitudes in gauge theory or string theory could be represented mathematically by the now celebrated Liouville theory of quantum gravity. The quantum gravity measure is formally defined by d mu gamma = exp[gamma h(z)]dz, where dz is the 2D Euclidean measure; exp[gamma h(z)] is the random conformal factor of the Riemannian metric, with h an instance of the Gaussian free field (GFF) on a...
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Bertrand Duplantier
Social Network Analysis (SNA) has evolved as a popular, standard method for modeling meaningful, often hidden structural relationships in communities. Existing SNA tools often involve extensive pre-processing or intensive programming skills that can challenge practitioners and students alike. NodeXL, an open-source template for Microsoft Excel, offers a potentially low-barrier-to-entry framework for teaching and learning SNA. We present the findings of 2 user studies of 21 graduate students who...
Topics: Microsoft Research, Microsoft Research Video Archive, Bongshin Lee, Elizabeth Bonsignore, Cody Dunne
Microsoft Research Video
movies
eye 19
favorite 0
comment 0
In this talk, I will argue for an approach for building and deploying systems that enforce measurable security goals. Historically, the security community has developed 'ideal' goals for security, but conventional systems are not built to satisfy such goals, leading to vulnerabilities. However, we find that building conventional systems to ideal security goals is not a practical option. Ideal security requires heavyweight tasks, such as complete formal assurance, and conventional systems depend...
Topics: Microsoft Research, Microsoft Research Video Archive, Weidong Cui, Trent Jaeger
Cloud technology is rapidly emerging and becoming popular. The cloud promises extensive storage resources, computation cycles, and high availability at a small cost, while allowing companies to focus on their business. However, current service level agreements (Windows Azure, Amazon, etc.), only guarantee availability and reimburse the client when the promise is not respected. These SLAs do not provide any security guarantee (confidentiality, integrity, freshness, consistency). Some of the data...
Topics: Microsoft Research, Microsoft Research Video Archive, David Molnar, Raluca Ada Popa
Microsoft Research Video
movies
eye 59
favorite 0
comment 0
Non-interactive zero-knowledge proofs make it possible to prove the truth of a statement without revealing any other information. They have been used widely in the theory of cryptography, but due to efficiency problems have not yet found many practical applications. In this talk, we will cover recent pairing-based constructions of non-interactive zero-knowledge proofs that yield the necessary efficiency for practical applications as well as the possibility to have perfect and everlasting...
Topics: Microsoft Research, Microsoft Research Video Archive, Melissa Chase, Jens Groth
Microsoft Research Video
movies
eye 25
favorite 0
comment 0
The multiple intents re-ranking problem was introduced recently by Azar, Gamzu and Xin (STOC 2009) in the context of ordering results of a web search query. In this problem, we are given a universe of elements U and a collection of subsets S1,S2,..,Sm. Additionally, each set S has a covering requirement of K(S). The goal is to order the elements in U to minimize average covering time of a set, where set S is said to be covered at time t, if t is the earliest time at which K(S) elements from S...
Topics: Microsoft Research, Microsoft Research Video Archive, Yuval Peres, Nikhil Bansal
Automated reasoning in classical logic has received much attention in the literature. Mature resolution theorem provers such as Vampire and E can handle enormous problems in first-order classical logic with equality. Waldmeister, a theorem prover for unit equational logic, has been incorporated into Mathematica as an equational reasoning method. Somewhat surprisingly, there has been much less attention devoted to non-classical logics. This is unfortunate, since many interesting and useful...
Topics: Microsoft Research, Microsoft Research Video Archive, Nikolaj Bjorner, Sean McLaughlin
Microsoft Research Video
movies
eye 46
favorite 0
comment 0
3:00 - 3:50 Stanislav Smirnov (U. Genève) SLE, percolation, and scaling limits 3:55 - 4:25 Scott Sheffield (MIT) SLE as a scaling limit and the Gaussian free field 4:30 Conference concludes ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Stanislav Smirnov, Scott...
Microsoft Research Video
movies
eye 51
favorite 0
comment 0
11:05 - 11:35 Russell Lyons (Indiana U.) Hyperfinite graph limits 11:40 - 12:10 Steffen Rohde (U. Washington) Jordan Curves and Dimension of Quasicircles ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Russell Lyons, Steffen Rohde
Microsoft Research Video
movies
eye 19
favorite 0
comment 0
1:30 - 2:00 Mario Bonk (U. Michigan) Transboundary Extremal Length 2:05 - 2:35 Gregory F. Lawler (U. Chicago) Understanding the SLE curve ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Mario Bonk, Gregory F. Lawler
Microsoft Research Video
movies
eye 36
favorite 0
comment 0
9:30 - 10:00 Omer Angel (U. British Columbia) Random planar maps and their limits 10:05 - 10:35 Michael Freedman (Microsoft) Random triangulations as dynamical variables in quantum mechanical models ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Omer Angel, Rico Malvar,...
Microsoft Research Video
movies
eye 120
favorite 0
comment 0
3:35 - 4:05 David B. Wilson (Microsoft) Oded's work on Boolean functions 4:10 - 4:40 Christophe Garban (ENS Paris) Oded's work on Noise Sensitivity 4:45 - 5:15 Gábor Pete (U. Toronto) How to prove tightness for the size of strange random sets ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Gabor Pete, Amir Dembo, David...
Microsoft Research Video
movies
eye 51
favorite 0
comment 0
2:00 - 2:30 Olle Häggström (Chalmers) Percolation, mass transport and cluster indistinguishability 2:35 - 3:05 Yuval Peres (Microsoft) Connectivity Probability in Critical Percolation: An unpublished gem from Oded ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Yuval Peres, Prasad Tetali,...
Microsoft Research Video
movies
eye 20
favorite 0
comment 0
11:00 - 11:30 Ken Stephenson (U. Tennessee) Rigidity of circle packings 11:35 - 12:05 Zheng-Xu He (Beijing CAS) Disk packings and conformal maps 12:10 - 12:40 Igor Pak (UMN and UCLA) Caged eggs and the rigidity of convex polyhedra ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Donald E. Marshall, Ken...
Microsoft Research Video
movies
eye 43
favorite 0
comment 0
9:30 - 9:35 Jennifer Chayes (Microsoft) Opening 9:40 - 10:30 Wendelin Werner (Orsay) Oded and his SLE processes ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Jennifer Chayes, Wendelin Werner
Microsoft Research Video
movies
eye 16
favorite 0
comment 0
In this talk, I will talk about our recent work on bandwidth allocation problem in two projects: TCP friendliness and P2P streaming. Exploring the design space of TCP-friendly traffic control protocols: While the current definition of TCP friendliness has enabled a wide variety of traffic control protocols other than TCP, it still considerably restricts the design space of TCP friendly traffic control protocols. In this project, we propose a new class of TCP friendliness definitions, called...
Topics: Microsoft Research, Microsoft Research Video Archive, Jin Li, Lisong Xu
Public key encryption (PKE) allows parties that had never met in advance to communicate over an unsafe channel. The notion was conceived in the 1970s, followed by the discovery that one could provide formal definitions of security for this and other cryptographic problems, and that such definitions were achievable by assuming the hardness of some computational problem (e.g., factoring large numbers). For PKE, the most basic security definition – semantic security – guarantees privacy,...
Topics: Microsoft Research, Microsoft Research Video Archive, Melissa Chase, Tal Malkin
Process control and improvement are keys to successful businesses, especially in agile environments. The PROfessional Metrcics (PROM) system and its Experience Manager (PEM) are designed to promote them. PROM supports automatic and non invasive collection of metrics from software processes and products. Without any significant intervention of the software engineers (apart the initial configuration), data about where effort is spent, metrics on design and code, and other relevant information...
Topics: Microsoft Research, Microsoft Research Video Archive, Nachi Nagappan, Giancarlo Succi
Microsoft Research Video
movies
eye 35
favorite 0
comment 0
Separating simultaneous speech signals from a mixture is well studied problem. There are two major approaches: blind source separation and spatial filtering. The first relies on the statistical independence and super-Gaussian distribution of the speech signals. The spatial filtering uses the fact that speech sources are separated in the space. In this talk will be presented the results of the summer internship where both approaches are combined for maximizing the source separation. Applications...
Topics: Microsoft Research, Microsoft Research Video Archive, Ivan Tashev, Lae-Hoon Kim
Microsoft Research Video
movies
eye 28
favorite 0
comment 0
Over the years, principles and techniques from programming languages have played a significant role in the study of secure and correct communication. In this talk, we outline some of our work in bringing similar foundational ideas to the design and analysis of secure and correct systems. Such systems, which include file systems, operating systems, and other distributed systems, care not only about communication but also storage and computation. In fact, we indicate how modern variants of such...
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Avik Chaudhuri
Interactive narrative and similar AI-intensive applications require characters to perform a wide range of actions and gestures, the details of which may be difficult to anticipate at authoring-time. In the game industry, character motions are typically generated by blending clips obtained through motion-capture or by hand-authoring key frames. While these techniques can produce highly realistic motion, creating large motion libraries can be prohibitively expensive for most universities,...
Topics: Microsoft Research, Microsoft Research Video Archive, John Nordlinger, Ian Horswill
A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of authorization policies and the workflow of the applications, so that the interplay between the policy level and the workflow level is abstracted away. While such an approach is attractive because it is quite simple and permits one to reason about crucial properties of the policies under consideration, it does not provide the...
Topics: Microsoft Research, Microsoft Research Video Archive, Leonardo de Moura, Silvio Ranise
We discuss the notion of array-based system as a suitable abstraction of infinite state systems such as parametrised systems or sorting programs. By using a class of quantified-first order formulae to symbolically represent array-based systems, we propose methods to check safety (invariance) properties on top of Satisfiability Modulo Theories (SMT) solvers. We identify hypotheses under which such verification technique becomes a decision procedure for invariance properties of array-based...
Topics: Microsoft Research, Microsoft Research Video Archive, Leonardo de Moura, Silvio Ranise
It is a time-honored fashion to implement a domain-specific language (DSL) by translation to a general-purpose language. Such an implementation is more portable, but an unidiomatic translation jeopardizes performance because, in practice, language implementations favor the common cases. This tension arises especially when the domain calls for complex control structures. We illustrate this tension by revisiting Landin's original correspondence between Algol and Church's lambda-notation. We...
Topics: Microsoft Research, Microsoft Research Video Archive, Francesco Logozzo, Olivier Danvy
Microsoft Research Video
movies
eye 46
favorite 0
comment 0
With the explosion of camera sales in the 5 past years, a lot of old photographic techniques have again become popular. Among them, panorama creation is one of the most promising. Kolor is today the leader in stitching technology worldwide with the Autopano Pro, and Autopano Gigaproducts. We'll present our products through the technology used as well as a quick live demonstration. Some uncommon usage of panoramic will be shown : gigapixels, sun path calculation, and webcam stitching. Another...
Topics: Microsoft Research, Microsoft Research Video Archive, Matt Uyttendaele, Alexandre Jenny
Microsoft Research Video
movies
eye 61
favorite 0
comment 0
I present Chorus, a high-level parallel programming model targeting irregular, heap-manipulating applications like mesh refinement and triangulation, and Jchorus, an implementation of the model on top of sequential Java. One focus of Chorus is dynamism: the fact that in irregularly parallel applications, ownership and isolation are usually instance-dependent and highly dynamic. The other is locality: the property that in many of the same applications, typical imperative commands only affect...
Topics: Microsoft Research, Microsoft Research Video Archive, Sumit Gulwani, Swarat Chaudhuri
One of the key challenges facing the professionalservices delivery business is the issue of optimally balancingcompeting demands from multiple, concurrent engagementson a limited supply of skill resources. In this paper, wepresent a framework for combining causal Bayesian analysisand optimization to address this challenge. Our frameworkintegrates the identification and modeling of the impact ofvarious staffing factors on the delivery quality of individualengagements, and the optimization of the...
Topics: Microsoft Research, Microsoft Research Video Archive, Dennis Gannon, Afsaneh Shirazi
Microsoft Research Video
movies
eye 101
favorite 0
comment 0
The talk will discuss the benefits of using logic-based declarative languages, especially for program analysis. The main focus will be on the Doop framework for points-to analysis of Java programs. Doop builds on the idea of specifying pointer analysis algorithms declaratively, using Datalog: a logic-based language for defining (recursive) relations. We carry the declarative approach further than past work by describing the full end-to-end analysis in Datalog and optimizing aggressively using a...
Topics: Microsoft Research, Microsoft Research Video Archive, Ben Livshits, Yannis Smaragdakis
A popular trend in computer vision, graphics, and machine learning is to replace sophisticated statistical models with simpler generic ones, and to compensate for the missing domain knowledge with huge datasets. These huge datasets in turn require us to solve huge numerical optimization problems that tax popular off-the-shelf implementations of popular algorithms. I describe a randomized way to solve these large scale optimization problems quickly, in a few lines of code, and with provably good...
Topics: Microsoft Research, Microsoft Research Video Archive, John Platt, Ali Rahimi
Microsoft Research Video
movies
eye 118
favorite 0
comment 0
Wireless networking is becoming the dominant technology for Internet access, resulting in a rapidly growing demand for wireless bandwidth. Meeting these demands requires new wireless techniques that make efficient use of the scarce unlicensed spectrum. In this talk, I will discuss four such techniques: channel aware rate adaptation (Charm), a protocol for opportunistic retransmission (PRO), transmit power and CCA threshold tuning, and the use of directional antennas. I will present the design,...
Topics: Microsoft Research, Microsoft Research Video Archive, Ranveer Chandra, Peter Steenkiste
Microsoft Research Video
movies
eye 65
favorite 0
comment 0
Passive RFID tags harvest their operating energy from an interrogating reader, but constant energy shortfalls severely limit their computational and storage capabilities. We propose Cryptographic Computational Continuation Passing (CCCP), a mechanism that amplifies programmable passive RFID tags’ capabilities by exploiting an often overlooked, plentiful resource: low-power radio communication. While radio communication is more energy intensive than flash memory writes in many embedded...
Topics: Microsoft Research, Microsoft Research Video Archive, Seny Kamara, Mastooreh Salajegheh
Microsoft Research Video
movies
eye 21
favorite 0
comment 0
We have been studying phishing websites since early 2007, finding out how long it is before they're removed, and gathering all sort of other statistics. We can now explain why our lifetime measures exceed what the industry expected; we understand how some of the vulnerable sites are found by attackers – and we can explain why the same sites are re-compromised again and again. We can compare takedown times for phishing with how long other types of illegal site remain available, and use...
Topics: Microsoft Research, Microsoft Research Video Archive, Cormac Herley, Richard Clayton
The problem of computing a maximum a posteriori (MAP) configuration is a central computational challenge associated with Markov random fields. There has been some focus on “tree-based' linear programming (LP) relaxations for the MAP problem. This paper develops a family of super-linearly convergent algorithms for solving these LPs, based on proximal minimization schemes using Bregman divergences. As with standard message passing on graphs, the algorithms are distributed and exploit the...
Topics: Microsoft Research, Microsoft Research Video Archive, Dengyong Zhou, Alekh Agarwal
Microsoft Research Video
movies
eye 9
favorite 0
comment 0
Interaction is becoming an integral part in using visualization for analysis. When interaction is tightly and appropriately coupled with visualization, it can transform the visualization from displaying static imageries to assisting comprehensive analysis of data at all scales. In this relationship, a deeper understanding of the role of interaction, its effects, and how visualization relates to interaction is necessary for designing systems in which the two components complement each other. In...
Topics: Microsoft Research, Microsoft Research Video Archive, Danyel Fisher, Remco Chang
Blogs are everywhere. They have exposed truths and spread rumors. Made and lost fortunes. Toppled cabinet members and sparked grassroots movements. Immediate, intimate and influential, they have put the power of personal publishing into everyone’s hands. Before blogs it was easy to believe that the Web would grow up to be a clickable TV—slick, passive, mass market. Instead, blogging brought the Web’s native character into focus: convivial, expressive, democratic. Far from being...
Topics: Microsoft Research, Microsoft Research Video Archive, Kevin Schofield, Scott Rosenberg
Microsoft Research Video
movies
eye 15
favorite 0
comment 0
Grey is an access-control system in which smartphones serve as the token by which users exercise and delegate their authority. In an ongoing deployment on CMU's campus, Grey is used daily by about 30 people to control access to office doors and to log in to computers. Grey has several distinguishing features, such as the use of logic-based techniques to achieve high assurance and its support for ad-hoc delegation: users can modify their access-control policy at the time and place of their...
Topics: Microsoft Research, Microsoft Research Video Archive, Stuart Schechter, Lujo Bauer
Microsoft Research Video
movies
eye 28
favorite 0
comment 0
I'll begin by describing SANDstorm, the Sandia entry in the NIST Hash Function competition. Next, I borrow an idea of Peter Montgomery's to speed up elliptic curve calculations (Affine Strikes Back!). Finally, I'll offer a frisson of lighter math fare. ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Kristin Lauter, Rich Schroeppel
Static spectrum allocation has resulted in low spectrum efficiency in licensed bands and poor performance of radio devices in crowded unlicensed bands. To remedy these problems, we have been exploring ways of exploiting the concept of 'spectrum agility' such that radio devices can dynamically and opportunistically utilize idle spectral bands. Cognitive radio (CR) is one such device that enables dynamic spectrum access and environment-aware wireless networking. We studied several key elements of...
Topics: Microsoft Research, Microsoft Research Video Archive, Victor Bahl, Kang G. Shin
The ability to prove equivalence of successive, closely-related versions of a program can be useful for maintaining backward compatibility. This problem has the potential of being easier in practice than functional verification for at least two reasons: First, it circumvents the problem of specifying what the program should do; Second, in many cases it is computationally easier, because it offers various opportunities for abstraction and decomposition that are only relevant in this context. I...
Topics: Microsoft Research, Microsoft Research Video Archive, Shuvendu Lahiri, Ofer Strichman
Microsoft Research Video
movies
eye 36
favorite 0
comment 0
In the digital marketplace, the most effective price is no price at all. Savvy businesses are raking it in with indirect routes from product to revenue with such models as cross-subsidies (giving away a DVR to cell cable service) and “freemiums” (offering Flickr for free while selling the superior FlickrPro to serious users. New media models have allowed successes like Obama’s campaign “billboards” on Xbox Live, Webkinz dolls and Radiohead’s name-your-own-album experiment. A...
Topics: Microsoft Research, Microsoft Research Video Archive, Kirsten Wiley, Chris Anderson
Microsoft Research Video
movies
eye 166
favorite 0
comment 0
Until recently, the study of cognition and the neurophysiological basis of human behavior was the subject of quite separate disciplines such as psychology, neurophysiology, cognitive science, computer science, and philosophy, among others. Mental processes were mainly studied in the framework of abstract theories, mathematical models, and disembodied artificial intelligence. It has now become clear that mental processes are strongly entwined with the physical structure of the body and its...
Topics: Microsoft Research, Microsoft Research Video Archive, Zhengyou Zhang, Giorgio Metta
BUFFALO: Bloom Filter Forwarding Architecture for Large Organizations; Minlan Yu In enterprise and data center networks, the scalability of the data plane becomes increasingly challenging as forwarding tables and link speeds grow. Simply building switches with larger amounts of faster memory is not appealing, since high-speed memory is both expensive and power hungry. Implementing hash tables in SRAM is not appealing either because it requires significant overprovisioning to ensure that all...
Topics: Microsoft Research, Microsoft Research Video Archive, Albert Greenberg, Eric Keller, Minlan Yu
Microsoft Research Video
by Microsoft Research
movies
eye 68
favorite 0
comment 0
Eyeglasses have been transformed from medical necessity to fashion accessory. This revolution came about through embracing the design culture of the fashion industry. Why shouldn’t design sensibilities also be applied to hearing aids, synthetic limbs and communication aids? In return disability can provoke radical new directions in mainstream design. In fact, design and disability can inspire each other: Charles and Ray Eames’s iconic furniture was inspired by a molded plywood leg splint...
Topics: Microsoft Research, Microsoft Research Video Archive, Kirsten Wiley, Graham Pullin
Microsoft Research Video
movies
eye 22
favorite 0
comment 0
Through a combination of chance and design, modern Web browsers have evolved into rich hosts for applications that live 'in the cloud.' For end users, the Web application experience can be seamless, coming across as a portable version of the desktop apps that users are accustomed to. Behind the scenes, a modern 'AJAX' (Asynchronous JavaScript And XML) Web app is built by coupling a variety of languages that weren't necessarily designed to play well together. We have HTML and CSS for describing...
Topics: Microsoft Research, Microsoft Research Video Archive, Nikhil Swamy, Adam Chlipala
Microsoft Research Video
movies
eye 25
favorite 0
comment 0
With the establishment of the multi-core processors and distributed applications, concurrency has become commonplace in application software. The design and implementation of concurrent software is notoriously error-prone. In large, this is due to the non-deterministic interactions among concurrently executing processes. Unfortunately, verification of concurrent systems is notoriously hard as well. In part, this is due to the fact that many important concurrent systems are naturally...
Topics: Microsoft Research, Microsoft Research Video Archive, Madan Musuvathi, Naghmeh Ghafari
Microsoft Research Video
movies
eye 41
favorite 0
comment 0
Our students have changed; our classroom is the same for more than 100 years. As ICT researchers, we have the tools to transform this. The aim of this talk is to present how technology innovations have made possible to modify the classroom experience. We analyze and show applications of Educational Video Games for the Nintendo Game Boy, collaborative work assisted by portable devices with wireless networks, phones in the classroom, multiple mouse applications, and augmented reality with...
Topics: Microsoft Research, Microsoft Research Video Archive, Lee Dirks, Miguel Nussbaum
Records of human movements and communication patterns are continuously being generated by the 4 billion mobile phone users around the world. In collaboration with mobile operators in dozens of countries, my colleagues and I are aggregating and analyzing this behavioral data from over 250 million people from North and South America, Europe, and Africa. This unprecedented volume of information about movement, purchasing decisions, and social networks has led to a novel set of research questions...
Topics: Microsoft Research, Microsoft Research Video Archive, Eric Horvitz, Nathan Eagle
Microsoft Research Video
by Microsoft Research
movies
eye 53
favorite 0
comment 0
JSON is a simple data interchange format. It is rare among standards in that minimalism was one of the principle goals of its design. Radical minimalism made it possible for JSON to compete successfully against entrenched, maximal standards. ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Helen Wang, Douglas Crockford
The proliferation of bandwidth hungry multimedia applications has pushed the requirement for new multi-gigabit wireless solutions well beyond the gigabit per second. Similar cost structure and power consumption as current high volume wireless connectivity solutions (Wi-Fi and Bluetooth) is a requisite to address the consumer electronics market. Therefore, standard digital CMOS and plastic packaging is the only platform of choice for a successful adoption. 60GHz is today the leading technology...
Topics: Microsoft Research, Microsoft Research Video Archive, Darko Kirovski, Joy Laskar
Virtual Goods are fast becoming the business model of choice for online games. Companies like EA, Sony, Playdom, Playfish, and Zynga are having success with free-to-play games monetized with virtual goods. Social networks like Facebook, Hi5, myYearBook and Dogster are developing new revenue streams by integrating virtual gifts and currencies into their platform. What does it take to build a thriving virtual goods business? What game mechanics and social rituals are effective at driving virtual...
Topics: Microsoft Research, Microsoft Research Video Archive, Lili Cheng, Amy Jo Kim
Most programmers assume an interleaved semantics when reasoning about shared-memory concurrent programs. Unfortunately, even simple and widely implemented optimisations, such as constant propagation, violate the interleaved semantics. In this talk, I will argue that in absence of data races, interleaved semantics can be recovered for common classes of optimisations. My argument focuses on two classes of program transformations - eliminations and reorderings - which seem to explain most of the...
Topics: Microsoft Research, Microsoft Research Video Archive, Sebastian Burckhardt, Jaroslav Sevcik
Microsoft Research Video
movies
eye 20
favorite 0
comment 0
Recent research on statistical machine translation has lead to the rapid development of syntax-based translation models, which exploit syntactic information to direct translation. In this talk, I will give an overview of tree-to-string translation models, one of the state-of-the-art syntax-based models. In a tree-to-string model, the source side is a phrase structure parse tree and the target side is a string. This talk includes the following topics: (1) tree-based tree-to-string model, (2)...
Topics: Microsoft Research, Microsoft Research Video Archive, Jianfeng Gao, Yang Liu
In this talk, we present our ongoing research on developing an annotated Korean learner corpus and the automatic analysis of learner errors. Our long-term goal is to develop an intelligent computer-assisted language learning (ICALL) system. Annotated learner corpora are known to provide valuable information about language learners in different teaching environments and about learning, language acquisition, and language variation. There is also a practical, technological need for annotated...
Topics: Microsoft Research, Microsoft Research Video Archive, Michael Gamon, Sun-Hee Lee, Seok Bae Jang,...
Microsoft Research Video
by Microsoft Research
movies
eye 23
favorite 0
comment 0
Entering the search term “Rome” on Flickr.com returns more than two million photos. This collection represents an increasingly complete photographic record of the city, capturing every popular site, facade, interior, fountain, sculpture, painting, cafe, and so forth. It also offers us an unprecedented opportunity to richly capture, explore and study the three dimensional shape of the city. In this talk, I will presents the first system capable of city-scale reconstruction from images...
Topics: Microsoft Research, Microsoft Research Video Archive, Dennis Gannon, Sameer Agarwal
Microsoft Research Video
movies
eye 9
favorite 0
comment 0
Motivated by applications like elections, network measurements, web-page ranking, revenue maximization etc., we consider the question of inferring popular rankings given constrained data. Specifically, we consider the problem of inferring a probability distribution over the space of permutations using its first order marginals. We characterize the precise conditions (in terms of the sparsity of the support of thedistribution) under which the distribution can be recovered. The question...
Topics: Microsoft Research, Microsoft Research Video Archive, Jin Li, Devavrat Shah
Breaking news, fresh gossip, tiny scandals, trumped up crises—every day we are distracted by a culture that rings our doorbell and then runs away. Stories spread widely and die out in mere days, quickly replaced by more stories with shorter shelf-lives. No longer do we sit on the sidelines of this action: anyone with a computer can spread a story as easily as the New York Times(or easier). Take a journey into this viral culture with the journalist that invented the “flash mob”, and...
Topics: Microsoft Research, Microsoft Research Video Archive, Kirsten Wiley, Bill Wasik